<?xml version='1.0'?>

<gl_extension name="GL_EXT_shader_integer_mix" reg_no="437">
</gl_extension>
